Date: Wed, 20 Nov 1996 19:10:24 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 2093
Last-modified: Fri, 25 Oct 1996 19:44:27 GMT

<!DOCTYPE HTML PUBLIC "-//IETF//DDT HTML 2.0 Level 2//EN">

<html>

<head>
<title>Logic and Computation</title>
<link rev="made" href="mailto:mairson@cs.brandeis.edu">
</head>

<BODY BGCOLOR="#ffffff" TEXT="#000000" link="#000099" vlink="#770055" 
         ALINK="#FF00FF">

<body>

<!WA0><IMG SRC="http://www.cs.brandeis.edu/img/simple-heading.gif"><br>

<h1>Logic and Computation</h1>

(formerly the <i>Institute for Advanced Concepts in Programming
Language Theory</i>)

<p>

The focus of this research group is on logic in computer science, with
particular interest in lambda calculus and functional programming, types,
constructive mathematics, proof theory, linear logic, and semantics.

<p> Our group is equipped with the usual array of workstations, backed
up by a complex of turbocharged multitape Turing Machines, a prototype
high-speed optimal reduction machine, and a type-directed partial
evaluator.

<p>
As of September 1996, we are running a weekly <!WA1><a href =
"http://www.cs.brandeis.edu/~mairson/PL-seminar.html">seminar on logic and programming language
theory</a>, tentatively devoted to topics in linear logic and
extracting computational content from classical proofs.

<h2>Members</h2>

<ul><li><!WA2><a href =
"http://www.cs.brandeis.edu/~bukatin/index.html">Michael Bukatin</a></ul>

<ul><li><!WA3><a href = "http://theory.lcs.mit.edu/~kucan">Jakov Kucan</a></ul>

<ul><li><!WA4><a href = "http://www.cs.brandeis.edu/~mairson/index.html">Harry Mairson</a></ul>

<ul><li><!WA5><a href = "http://www.cs.brandeis.edu/~mairson/LC.html">Luca Roversi</a></ul>

<ul><li><!WA6><a href = "http://www.cs.brandeis.edu/~mairson/LC.html">Anna Shubina</a></ul>

<ul><li><!WA7><a href =
"http://www.cs.brandeis.edu/~gshubina/index.html">Galina
Shubina</a></ul>

<ul><li><!WA8><a href = "http://www.cs.brandeis.edu/~jrvest/index.html">Rene
Vestergaard</a></ul>


<h2>Related Boston-area research groups</h2>

<ul><li><!WA9><a href =
"http://theory.lcs.mit.edu/groups/semantics.html">MIT semantics group
</a></ul>

<ul><li><!WA10><a href =
"http://www.ccs.neu.edu/home/wand/semantics.html">Semantics group at
Northeastern University</a></ul>

<ul><li><!WA11><a href =
"http://www.cs.bu.edu/groups/church/Home.html"><i>Church</i>
functional programming project at Boston University</a></ul>

</body>

